9a1c7fae1aa192dfe209d0258c912cce6631fa70,src/main/java/di/uniba/it/tri/shell/TriShell.java,TriShell,promptLoop,#,141

Before Change


                String cmd = trimmed.toLowerCase();
                if ("exit".equals(cmd) || "quit".equals(cmd)) {
                    break;
                } else if (cmd.startsWith("help") || cmd.startsWith("?")) {
                    String[] split = cmd.split("\\s+");
                    if (split.length == 1) {
                        showHelp();

After Change


                String cmd = trimmed.replaceAll("\\s+", " "); //remove not necessary whitespaces
                if ("exit".equals(cmd) || "quit".equals(cmd)) {
                    break;
                } else if (cmd.equals("help") || cmd.equals("?") || cmd.startsWith("help ") || cmd.startsWith("? ")) {
                    String[] split = cmd.split("\\s+");
                    if (split.length == 1) {
                        showHelp();